modulus of a congruence

同余式的模